1
Verification of sequential and concurrent programs

Verification of sequential and concurrent programs

Krzysztof R. Apt, Frank S. de Boer, Ernst-Rüdiger Olderog
Năm:
2009
Ngôn ngữ:
english
File:
PDF, 2.10 MB
0 / 0
english, 2009
2
Real-Time Systems: Formal Specification and Automatic Verification

Real-Time Systems: Formal Specification and Automatic Verification

Ernst-Rudiger Olderog, Henning Dierks
Năm:
2008
Ngôn ngữ:
english
File:
PDF, 12.36 MB
0 / 0
english, 2008
3
Real-Time Systems: Formal Specification and Automatic Verification

Real-Time Systems: Formal Specification and Automatic Verification

Ernst-Rüdiger Olderog, Henning Dierks
Năm:
2008
Ngôn ngữ:
english
File:
PDF, 1.73 MB
0 / 0
english, 2008
4
Verification of Sequential and Concurrent Programs

Verification of Sequential and Concurrent Programs

Krzysztof R. Apt, Ernst-Rüdiger Olderog
Năm:
1997
Ngôn ngữ:
english
File:
PDF, 9.05 MB
0 / 0
english, 1997
6
Logics of Programs: Workshop, Yorktown Heights, New York, May 1981

Logics of Programs: Workshop, Yorktown Heights, New York, May 1981

Krzysztof R. Apt, Ernst-Rüdiger Olderog (auth.), Dexter Kozen (eds.)
Năm:
1982
Ngôn ngữ:
english
File:
DJVU, 4.66 MB
0 / 0
english, 1982
7
Logics of Programs: Workshop, Yorktown Heights, New York, May 1981

Logics of Programs: Workshop, Yorktown Heights, New York, May 1981

Krzysztof R. Apt, Ernst-Rüdiger Olderog (auth.), Dexter Kozen (eds.)
Năm:
1982
Ngôn ngữ:
english
File:
PDF, 10.98 MB
0 / 0
english, 1982
9
Model Checking, Synthesis, and Learning: Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday

Model Checking, Synthesis, and Learning: Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday

Ernst-Rüdiger Olderog, Bernhard Steffen, Wang Yi, (eds.)
Năm:
2021
Ngôn ngữ:
english
File:
PDF, 14.53 MB
0 / 0
english, 2021
10
Verification of Sequential and Concurrent Programs

Verification of Sequential and Concurrent Programs

Krzysztof R. Apt, Frank S. de Boer, Ernst-Rüdiger Olderog
Năm:
2009
Ngôn ngữ:
english
File:
PDF, 8.45 MB
0 / 0
english, 2009
11
Correct System Design: Recent Insights and Advances

Correct System Design: Recent Insights and Advances

C. A. R. Hoare (auth.), Ernst-Rüdiger Olderog, Bernhard Steffen (eds.)
Năm:
1999
Ngôn ngữ:
english
File:
PDF, 5.79 MB
0 / 0
english, 1999
12
Provably Correct Systems

Provably Correct Systems

Mike Hinchey, Jonathan P. Bowen, Ernst-Rüdiger Olderog (eds.)
Năm:
2017
Ngôn ngữ:
english
File:
PDF, 9.41 MB
0 / 0
english, 2017
14
Verification of Sequential and Concurrent Programs

Verification of Sequential and Concurrent Programs

Krzysztof R. Apt, Ernst-Rüdiger Olderog
Năm:
1991
Ngôn ngữ:
english
File:
PDF, 6.94 MB
0 / 0
english, 1991
15
Correct System Design: Recent Insights and Advances

Correct System Design: Recent Insights and Advances

C. A. R. Hoare (auth.), Ernst-Rüdiger Olderog, Bernhard Steffen (eds.)
Năm:
1999
Ngôn ngữ:
english
File:
PDF, 6.13 MB
0 / 0
english, 1999
16
Model Checking, Synthesis, and Learning: Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday

Model Checking, Synthesis, and Learning: Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday

Ernst-Rüdiger Olderog, Bernhard Steffen, Wang Yi
Năm:
2021
Ngôn ngữ:
english
File:
EPUB, 24.75 MB
0 / 0
english, 2021
17
Model Checking, Synthesis, and Learning: Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday

Model Checking, Synthesis, and Learning: Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday

Ernst-Rüdiger Olderog, Bernhard Steffen, Wang Yi
Năm:
2021
Ngôn ngữ:
english
File:
PDF, 14.53 MB
0 / 0
english, 2021
18
Correct System Design: Recent Insights and Advances

Correct System Design: Recent Insights and Advances

C. A. R. Hoare (auth.), Ernst-Rüdiger Olderog, Bernhard Steffen (eds.)
Năm:
1999
Ngôn ngữ:
english
File:
PDF, 5.53 MB
0 / 0
english, 1999
19
Correct System Design: Recent Insights and Advances

Correct System Design: Recent Insights and Advances

C. A. R. Hoare (auth.), Ernst-Rüdiger Olderog, Bernhard Steffen (eds.)
Năm:
1999
Ngôn ngữ:
english
File:
DJVU, 1.59 MB
0 / 0
english, 1999
20
Model Checking, Synthesis, and Learning: Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday

Model Checking, Synthesis, and Learning: Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday

Ernst-Rüdiger Olderog, Bernhard Steffen, Wang Yi
Năm:
2021
Ngôn ngữ:
english
File:
EPUB, 24.75 MB
0 / 0
english, 2021